type T = {...O,}
